Статья 10215

Название статьи

АБСТРАКТНЫЙ И СТРУКТУРНЫЙ СИНТЕЗ СИСТЕМ ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ ПАРАДИГМЫ ПЕРЕДАЧИ СООБЩЕНИЙ В РАСПРЕДЕЛЕННОМ ОКРУЖЕНИИ ВЫЧИСЛИТЕЛЬНОЙ СЕТИ

Авторы

Волчихин Владимир Иванович, доктор технических наук, профессор, президент Пензенского государственного университета (Россия, г. Пенза, ул. Красная, 40), cnit@pnzgu.ru
Дубравин Алексей Викторович, старший преподаватель, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), radamsa@yandex.ru
Зинкин Сергей Александрович, доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), zsa49@yandex.ru

Индекс УДК

681.324

Аннотация

Актуальность и цели. Объектом исследования являются распределенные системы обработки данных, работа которых основана на принципах, назван-ных в статье парадигмами. Рассмотрена парадигма, используемая для проекти-рования программного обеспечения промежуточного слоя, ориентированного на обмен сообщениями в распределенном окружении. Предметом исследова-ния являются вопросы абстрактного и структурного проектирования распреде-ленных сетевых приложений на основе логико-алгебраического подхода и не-которых методов искусственного интеллекта. Цель работы – совершенствова-ние методов проектирования распределенных приложений на основе концеп-туальных, логических и логико-алгебраических моделей, положенных
в основу технологии распределенного программирования в сетях ЭВМ, осно-ванной на передаче сообщений.
Материалы и методы. Предлагаемые методы позволяют разрабатывать распределенные приложения для обработки данных, соответствующие некото-рой формальной спецификации. Для реализации распределенных приложений обработки данных выбраны методы, не требующие специальных синтаксиче-ских примитивов при организации параллелизма в распределенных системах. Описание и поддержка параллелизма в распределенных системах осуществля-ется средствами, реализуемыми на основе перехода от первоначальных кон-цептуальных представлений процессов, базирующихся на правилах вывода и концептуальных графов, к непосредственному программированию путем пря-мого использования логико-алгебраических выражений в качестве формализо-ванных спецификаций.
Результаты и выводы. Предложенные новые концептуальные, логиче-ские и логико-алгебраические модели распределенных вычислений в систе-мах с передачей сообщений отличаются от известных тем, что они относятся к классу непосредственно исполнимых (реализуемых), применение которых позволяет снизить трудозатраты при создании распределенных сетевых при-ложений.

Ключевые слова

распределенная обработка данных, сетевое окружение, концептуальные, логические и логико-алгебраические модели, парадигма обмена сообщениями, распределенное окружение, управляющие и функциональные межмодульные связи.

 

 Скачать статью в формате PDF

Список литературы

1. Волчихин, В. И. Абстрактный и структурный синтез распределенных систем обработки данных на основе мультипарадигмального подхода / В. И. Волчихин, А. В. Дубравин, С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2015. – № 1 (33). – С. 60–69.
2. Хьюз, К. Параллельное и распределенное программирование на C++ / К. Хьюз, Т. Хьюз. – М. : Вильямс, 2004. – 672 с.
3. Таненбаум, Э. Распределенные системы. Принципы и парадигмы / Э. Таненба-ум, М. ван Стеен. – СПб. : Питер, 2003. – 877 с.
4. Логический подход к искусственному интеллекту: от классической логики к логи-ческому программированию / А. Тейз, П. Грибомон, Ж. Луи и др. – М. : Мир, 1990. – 429 с.
5. Sowa, J. F. Conceptual Graphs: Draft Proposed American National Standard /
J. F. Sowa // Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices (July 12–15, 1999). – М., 1999. – P. 1–65.
6. Delugach, H. CharGer: Some Lessons Learned and New Directions. Working with Conceptual Structures: Contributions to ICCS 2000 / G. Stumme ; ed., Shaker Verlag, 2000. – P. 306–309.
7. CharGer Manual. – 2005. – Vol. 3.5, b. 1. – P. 1–58. – URL: http://charger.
sourceforge.net (дата обращения: 04.04.2015).
8. Гаврилова, Т. А. Базы знаний интеллектуальных систем / Т. А. Гаврилова, В. Ф. Хорошевский. – СПб. : Питер, 2001. – 384 с.
9. Котов, В. Е. Теория схем программ / В. Е. Котов, В. К. Сабельфельд. – М. : Наука, 1991. – 248 с.
10. Лавров, С. С. Программирование. Математические основы, средства, теория / С. С. Лавров. – СПб. : БХВ-Петербург, 2001. – 320 с.
11. Ломакина, Л. С. Теория и практика структурного тестирования программных систем / Л. С. Ломакина, А. С. Базин, А. Н. Вигура, А. В. Киселев. – Воронеж : Научная книга, 2013. – 220 с.
12. Плесневич, Г. С. Логические модели / Г. С. Плесневич // Искусственный ин-теллект : в 3 кн. Кн. 2. Модели и методы : справочник / под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – С. 14–28.
13. Курганский, В. И. Алгебраические преобразования программ и порождаемых ими отношений / В. И. Курганский // Системы управления и информационные технологии. – 2006. –№ 3.1(25).–С.139–144.
14. Элементы параллельного программирования / В. А. Вальковский, В. Е. Котов, А. Г. Марчук, Н. Н. Миренков ; под ред. В. Е. Котова. – М. : Радио и связь, 1983. – 240 с.
15. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расшире-ния) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – С. 13–22.
16. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и вари-анты использования) / С. А. Зинкин // Известия высших учебных заведений. По-волжский регион. Технические науки. – 2007. – № 4. – С. 37–50.
17. Зинкин, С. А. Элементы новой объектно ориентированной сетевой технологии для моделирования и реализации систем и сетей хранения и обработки данных / Зинкин С. А. // Информационные технологии. – 2008. – № 10. – С. 20–27.
18. Дубравин, А. В. Элементы концептуального распределенного программиро-вания в сетях / А. В. Дубравин, С. А. Зинкин // Университетское образование (МКУО-2015) : сб. ст. XIX Междунар. науч.-метод. конф., посвящ. 70-летию По-беды в Великой Отечественной войне (г. Пенза, 9–10 апреля 2015 г.) : в 2 т. / под ред. А. Д. Гулякова, Р. М. Печерской. – Пенза : Изд-во ПГУ, 2015. – Т. 1. – С. 222–225.
19. Дубравин, А. В. Формальное определение гибридной модели распределенных вычислений в сетях / А. В. Дубравин, С. А. Зинкин // Университетское образова-ние (МКУО-2015) : сб. ст. XIX Междунар. науч.-метод. конф., посвящ. 70-летию Победы в Великой Отечественной войне (г. Пенза, 9–10 апреля 2015 г.) : в 2 т. / под ред. А. Д. Гулякова, Р. М. Печерской. – Пенза : Изд-во ПГУ, 2015.–Т.1–С.226-228.
20. Дубравин, А. В. Развитие логико-алгебраического подхода к созданию рас-пределенных приложений для обработки данных в вычислительных сетях / А. В. Дубравин, С. А. Зинкин // Оптико-электронные приборы и устройства в сис-темах распознавания образов, обработки изображений и символьной информации (Распознавание-2015) : сб. ст. XII Междунар. науч.-техн. конф. (г. Курск, 12–15 мая 2015 г.). – Курск : Изд-во ЮЗГУ, 2015.

 

Дата создания: 31.07.2015 14:36
Дата обновления: 02.10.2015 09:27